On Stratified Autoepistemic Theories
نویسنده
چکیده
In this paper we investigate some properties of "autoepistemic logic" approach to the formalization of common sense reasoning suggested by R. Moore in [Moore, 19851. In particular we present a class of autoepistemic theories (called stratified autoepistemic theories) and prove that theories from this class have unique stable autoepistemic expansions and hence a clear notion of "theoremhood". These results are used to establish the relationship of Autoepistemic Logic with other formalizations of non-monotonic reasoning, such as negation as failure rule and circumscription. It is also shown that "classical" SLDNF resolution of Prolog can be used as a deductive mechanism for a rather broad class of autoepistemic theories.
منابع مشابه
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning
This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to “define” propositions using default assumptions about the same propositions is identified as a major source of computational complexity in nonmonotonic reasoning. If such constructs are not allowed, i.e. stratified knowledge bases are considered, a significant...
متن کاملSeparating Disbeliefs from Beliefs in Autoepistemic Reasoning
This paper investigates separated autoepistemic logic which is a generalization of Moore's autoepistemic logic with separate modalities for belief and disbelief. Along the separation of beliefs and disbeliefs, the relationship between autoepistemic logic and default logic becomes very intuitive. Straightforward ways of translating default theories into separated autoepistemic theories and back ...
متن کاملRepresenting Autoepistemic Introspection in Terms of Default Rules
This paper addresses the relationship of Reiter's default logic, Moore's autoepistemic logic as well as Marek and Truszczyyski's strong autoepis-temic logic from a new point of view. Earlier research results on their in-terconnection support the view that default reasoning is a special case of autoepistemic reasoning. To the contrary, this paper shows how autoepis-temic theories can be faithful...
متن کاملOn Relating Causal Theories to Other Formalisms
This paper explores mathematical relationships between the \causal theories" formalism recently introduced by the authors and several other (well-known) formalisms. More specii-cally, it relates causal theories to default logic and autoepistemic logic, and describes translations back and forth between causal theories and classical propositional logic. It also relates action representations in c...
متن کاملAutoepistemic Logic and Introspective Circumscription
We investigate the relationship between two epistemic nonmonotonic formalisms: autoepistemic logic and introspective circumscription. Finitely axiomatized autoepistemic theories are shown to be equivalent to the propositional case of introspective circumscription. This theorem is applied to the problem of relating the usual "minimizing" circumscription to autoepistemic logic.
متن کامل